the power rule for integration